- maschinengestütztes Programmieren
- nt PROG machine-aided programming
Deutsch-Englisch Wörterbuch für Informatik. 2015.
maschinengestütztes Programmieren
Look at other dictionaries:
PROLOG — Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell … Deutsch Wikipedia
Beweisbarkeit — Die Beweistheorie ist ein Teilgebiet der mathematischen Logik, das Beweise als formale mathematische Objekte behandelt. Dies ermöglicht ihre Analyse mit mathematischen Techniken. Beweise werden üblicherweise als induktiv definierte… … Deutsch Wikipedia
